man1_MANS = $(MAN_PAGES)
EXTRA_DIST = $(MAN_PAGES)
